#include <bits/stdc++.h>

using namespace std;

const int maxn = 5005;
int n,m,a[5005],b[5005];
int main()
{
    cin>>n>>m;
    for(int i=1 ; i<=n ; i++){
        scanf("%d%d",&a[i],&b[i]);
    }
    for(int i=n ; i>=2 ; i--){
        for(int j=1 ; j<i ; j++){
            if(b[j]<b[j+1]||b[j+1]==b[j]&&a[j]>a[j+1]){
                swap(b[j],b[j+1]);
                swap(a[j],a[j+1]);
            }
        }
    }
    m = m*1.5;
    while(b[m+1]==b[m]){
        m++;
    }
    cout<<b[m]<<' '<<m<<endl;
    for(int i=1 ; i<=m ;i++){
        cout<<a[i]<<' '<<b[i]<<endl;
    }
    return 0;
}
